/**
 * Copyright (c) 2009  Collaborative Development Group, C.S. Dept., University of Bari
 *
 * All rights reserved. This program and the accompanying materials are made available under
 * the terms of the Eclipse Public License v1.0  which accompanies this distribution, and is 
 * available at http://www.eclipse.org/legal/epl-v10.html
 */
package it.uniba.di.cdg.penelope.ui.lnf;

import com.google.inject.ImplementedBy;

/**
 * Helper for dealing with Eclipse UI artifacts (views, perspectives, ...).
 */
@ImplementedBy( EclipseUIHelper.class )
public interface IEclipseUIHelper {
	void switchPerspective( String perspectiveId );
	void closePerspective( String perspectiveId );
	
	void showView( String viewId );
	
	void hideView( String viewId );
}
